A Process Language for Statecharts ? Francesca
نویسنده
چکیده
We deene a compositional labelled transition system semantics for statecharts via a translation into a new process language called SP. The main novelty of the language is an operator of process reene-ment, which reeects the statecharts hierarchical structure. The translation agrees with Pnueli and Shalev semantics of statecharts. However, since the language is parametric in the set of basic actions and in some operations over actions, other semantics of statecharts can be obtained by suitably instantiating the actions corresponding to transitions and the operations over actions.
منابع مشابه
A Process Language for Statecharts
We deene a compositional labelled transition system semantics for statecharts via a translation into a new process language called SP. The main novelty of the language is an operator of process reene-ment, which reeects the statecharts hierarchical structure. The translation agrees with Pnueli and Shalev semantics of statecharts. However, since the language is parametric in the set of basic act...
متن کاملCompositional Veri cation of Timed Statecharts
We propose a compositional proof system for the veriication of a dicrete timed process language T SP with minimal and maximal delays associated to actions. For expressing real-time properties we consider a discrete extension of-calculus with freeze quantiication over clocks and clock constraints. The language T SP is parametric in the set of basic actions and it is characterized by an operator ...
متن کاملStatecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded systems, precisely de ning its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is ...
متن کاملVeriication of Temporal and Real-time Properties of Statecharts
This thesis is concerned with the formal veri cation of statecharts. Statecharts area synchronous formalism for the speci cation of reactive systems that is obtainedby introducing in classical state-transition diagrams notions of hierarchy, parallelismand communication. Propositional -calculus is a very convenient formalism for ex-pressing the properties characterizing the c...
متن کاملTowards an Automatic Integration of Statecharts
The integration of statecharts is part of an integration me thodology for object oriented views Statecharts are the most important language for the representation of the behaviour of objects and are used in many object oriented modeling techniques e g in UML In this paper we focus on the situation where the behaviour of an object type is represented in several statecharts which have to be integ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996